1. Processes, terms and cycles
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Lambda calculus. ; Rewriting systems (Computer science) ; Machine theory. ;
2. Processes, terms and cycles
پدیدآورنده: / Aart Middeldorp ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Lambda calculus.,Rewriting systems (Computer science),Machine theory.
رده :
QA
,
9
.
5
,.
P76
,
2005
